Nuprl Lemma : mon_nat_op_zero
13,42
postcript
pdf
g
:IMonoid,
e
:|
g
|. (0
e
) = e
|
g
|
latex
Up
groups
1
Definitions of Statement
n
e
Definitions
n
e
Lemmas
nat
op
zero
origin
g:IMonoid, e:|g|. (0 
e) = e 
|g| g:IMonoid, e:|g|. (0 e) = e |g| e e